| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 567781 | ||
| Compiler Construction | Fach-/Modulprüfung | 6 | 564732 | ||
| Efficient Algorithms | Fach-/Modulprüfung | 6 | 564517 | Di 28.07.2026 14:30-16:00 Grüner Hörsaal AM (Gr) (1420|001) Di 01.09.2026 09:00-10:30 H06 (1385|004) | |
| Tutorium | 574214 | Mo 12:30-14:00 5052 (2356|052) (×11) Mi 10:30-12:00 5052 (2356|052) (×11) | |||
| Vorlesung | 574213 | Mo 10:30-12:00 AH I (2350|028) (×11) Mo 10:30-12:00 AH III (2350|314.1) (×1) Mi 14:30-16:00 AH III (2350|314.1) (×1) Mi 14:30-16:00 AH VI (2356|051) (×9) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 567418 | ||
| Modeling and analysis of hybrid systems | Fach-/Modulprüfung | 6 | 567419 |